Constructible number - PDFSEARCH.IO - Document Search Engine

Constructible number
Results: 311

#	Item
11	BIT 39(3), pp. 539–560, 1999 FAST AND PARALLEL INTERVAL ARITHMETIC SIEGFRIED M. RUMP Inst. of Computer Science III, Technical University Hamburg-Harburg, Eißendorfer Str. 38, 21071 Hamburg, Germany. Add to Reading List Source URL: www.ti3.tu-harburg.de Language: English - Date: 2005-11-23 09:26:23 Mathematics Computer arithmetic Mathematical logic Theory of computation Numerical analysis Arithmetic Interval arithmetic Interval Constructible universe Ordinal number NC Machine epsilon
12	Graded dominance Libor Bˇehounek1 , Ulrich Bodenhofer2 , Petr Cintula1 , and Susanne Saminger-Platz3 1 Institute of Computer Science Academy of Sciences of the Czech Republic, Prague, Czech Republic {behounek\|cintula}@c Add to Reading List Source URL: www.bioinf.jku.at Language: English - Date: 2008-05-06 06:51:53 Fuzzy logic Mathematical logic Logic Mathematics T-norm Constructible universe Monoidal t-norm logic Fuzzy set Net NC Fuzzy mathematics Ordinal number
13	Energy-Efficient Algorithms for Flow Time Minimization Susanne Albers∗ Hiroshi Fujiwara† Topic classification: Algorithms and data structures Add to Reading List Source URL: www14.in.tum.de Language: English - Date: 2013-11-25 11:02:45 Circuit complexity NC Constructible universe Net Ordinal number Mathematics Creativity Abstraction
14	Motivation The technique of forcing Cohen forcing Lebesgue measure Forcing: How to prove unprovability I Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2015-11-11 09:54:27 Mathematical logic Mathematics Forcing Logic Cardinal numbers Infinity ZermeloFraenkel set theory Continuum hypothesis Aleph number Lebesgue measure Constructible universe Ordinal number
15	Towards a Unified Treatment of Induction (Abstract) Paul Taylor 26 August 1996 induction over the nat-erty of the natural numbers: Mathematical ural numbers has been familiar since Eus Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:52:24 Mathematical logic Mathematics Set theory Category theory Wellfoundedness Constructible universe Topos Universal property Ordinal number Sheaf Mahlo cardinal Symbol
16	Cardinals in Isabelle/HOL Jasmin Christian Blanchette1 , Andrei Popescu1,2 , and Dmitriy Traytel1 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Ordinal numbers Mathematics Abstraction Cardinal numbers Set theory Wellfoundedness Infinity Ordinal arithmetic Transfinite induction Constructible universe Aleph number
17	261 Documenta Math. Analysis on Arithmetic Schemes. I Ivan Fesenko Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2003-12-23 07:52:15 Mathematics Functional analysis Dual space Linear algebra Algebraic number field Constructible universe Operator theory Differential forms on a Riemann surface Approximately finite-dimensional C*-algebra
18	First Round Dutch Mathematical Olympiad Friday, Januari 29, 2010 Solutions A1. D) 19 Add to Reading List Source URL: www.wiskundeolympiade.nl Language: English - Date: 2015-04-10 06:17:56 Geometry Mathematics Triangle Triangle geometry Pythagorean theorem Parallelogram Ordinal number Constructible universe Number Root system
19	Embarrassingly Simple Generation of Free Theorems Stefan Mehner and Janis Voigtl¨ander March 26th, 2014 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Type theory Parametricity Polymorphism Ordinal number Constructible universe Functional programming Proof theory CurryHoward correspondence Net
20	Algebra 2. Teorema di Lindemann-Weierstrass. Roma, gennaio 2010 In this note we present Baker’s proof of the Lindemann-Weierstrass Theorem. Let Q denote the algebraic closure of Q inside C. Add to Reading List Source URL: www.mat.uniroma2.it Language: English - Date: 2010-01-22 06:36:10 Transcendental numbers Number theory E Exponentials LindemannWeierstrass theorem Pi Constructible universe E-function SchneiderLang theorem Auxiliary function

UPDATE